Home

push-float ket
push the float coefficient c onto the ket label
so that c is now the "value" of the ket
often useful if you want to swap between manipulating the coeff versus the value of a ket
NB: it uses default-decimal-places as the max number of digits to use
NB: the max of which seems to be 5, probably due to the limit in precision of floats
push-float is the approximate inverse of pop-float

push-float 2.5|x>
    |x: 2.5>

-- | > is a special ket that effectively has no "category"
push-float 3.1415| >
    |3.1415>

push-float 3.14159265| >
    |3.14159>

-- if the ket has no explicit coeff, then the actual coeff is 1
push-float |alpha>
    |alpha: 1>